Inference at * 2 
Iof proof for Lemma pos mul arg bounds:



1. a : 
2. b : 
3. ((a > 0) & (b > 0))  ((a < 0) & (b < 0))
  (a * b) > 0 

latex

 by GenExRepD 

latex

 1: 

 1: 3. a > 0
 1: 4. b > 0
 1:   (a * b) > 0
 2: 

 2: 3. a < 0
 2: 4. b < 0
 2:   (a * b) > 0
 .

Definitions

P & Q, P  Q